Willard, Dan E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Examining Computational Geometry, Van Emde Boas Trees, and Hashing from the Perspective of the Fusion Tree

Willard, Dan E.

Journal:

SIAM Journal on Computing

Year:

2000

Language:

english

File:

PDF, 327 KB

english, 2000

2

Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.16 MB

english, 2001

3

An exploration of the relationship between humor and giftedness in students

HOLT, DAN G., WILLARD-HOLT, COLLEEN

Journal:

Humor - International Journal of Humor Research

Year:

1995

Language:

english

File:

PDF, 2.81 MB

english, 1995

4

Surpassing the information theoretic bound with fusion trees

Michael L. Fredman, Dan E. Willard

Journal:

Journal of Computer and System Sciences

Year:

1993

Language:

english

File:

PDF, 910 KB

english, 1993

5

Trans-dichotomous algorithms for minimum spanning trees and shortest paths

Michael L. Fredman, Dan E. Willard

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 1.21 MB

english, 1994

6

New Data Structures for Orthogonal Range Queries

Willard, Dan E.

Journal:

SIAM Journal on Computing

Year:

1985

Language:

english

File:

PDF, 3.18 MB

english, 1985

7

Polygon Retrieval

Willard, Dan E.

Journal:

SIAM Journal on Computing

Year:

1982

Language:

english

File:

PDF, 2.04 MB

english, 1982

8

Computational identification of a phospholipidosis toxicophore using 13C and 15N NMR-distance based fingerprints

Slavov, Svetoslav H., Wilkes, Jon G., Buzatu, Dan A., Kruhlak, Naomi L., Willard, James M., Hanig, Joseph P., Beger, Richard D.

Journal:

Bioorganic & Medicinal Chemistry

Year:

2014

Language:

english

File:

PDF, 1.48 MB

english, 2014

9

High-density lipoprotein of patients with breast cancer complicated with type 2 diabetes mellitus promotes cancer cells adhesion to vascular endothelium via ICAM-1 and VCAM-1 upregulation

Huang, Xiaoqin, He, Dan, Ming, Jia, He, Yubin, Zhou, Champion, Ren, Hui, He, Xin, Wang, Chenguang, Jin, Jingru, Ji, Liang, Willard, Belinda, Pan, Bing, Zheng, Lemin

Journal:

Breast Cancer Research and Treatment

Year:

2016

Language:

english

File:

PDF, 8.30 MB

english, 2016

10

Applications of Range Query Theory to Relational Data Base Join and Selection Operations

Journal:

Journal of Computer and System Sciences

Year:

1996

Language:

english

File:

PDF, 461 KB

english, 1996

11

An Algorithm for Handling Many Relational Calculus Queries Efficiently

Journal:

Journal of Computer and System Sciences

Year:

2002

Language:

english

File:

PDF, 390 KB

english, 2002

12

New trie data structures which support very fast search operations

Journal:

Journal of Computer and System Sciences

Year:

1984

Language:

english

File:

PDF, 1.05 MB

english, 1984

13

Log-logarithmic worst-case range queries are possible in space ⊕(N)

Journal:

Computer Compacts

Year:

1983

Language:

english

File:

PDF, 118 KB

english, 1983

14

A simplified method for 226Ra determinations in natural waters

Jolynn Butts, James F. Todd, Ian Lerche, Willard S. Moore, Dan G. Moore

Journal:

Marine Chemistry

Year:

1988

Language:

english

File:

PDF, 461 KB

english, 1988

15

A generalization of the Second Incompleteness Theorem and some exceptions to it

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 549 KB

english, 2006

16

The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 334 KB

english, 2006

17

Passive induction and a solution to a Paris–Wilkie open question

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 599 KB

english, 2007

18

Inability of seven-pinhole myocardial tomography to obtain accurate201Tl kinetic data

Thomas J. Brady, Dennis D. O'Keefe, Robert D. Okada, M. Alex Jacocks, Robert G. Johnson, Gillian A. Geffin, Dan Merrill, H. William Strauss, Willard M. Daggett, Gerald M. Pohost

Journal:

European Journal of Nuclear Medicine and Molecular Imaging

Year:

1983

Language:

english

File:

PDF, 674 KB

english, 1983

19

On the angle restricted nearest neighbor problem

Young C. Wee, Seth Chaiken, Dan E. Willard

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 483 KB

english, 1990

20

A data structure for dynamic range queries

George S. Lueker, Dan E. Willard

Journal:

Information Processing Letters

Year:

1982

Language:

english

File:

PDF, 645 KB

english, 1982

21

Log-logarithmic worst-case range queries are possible in space Θ(N)

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 345 KB

english, 1983

22

Lower bounds for the addition-subtraction operations in orthogonal range queries and related problems

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 1003 KB

english, 1989

23

Parallel processing can be harmful: The unusual behavior of interpolation search

Dan E. Willard, John H. Reif

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 865 KB

english, 1989

24

A density control algorithm for doing insertions and deletions in a sequentially ordered file in a good worst-case time

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 3.49 MB

english, 1992

25

Some specially formulated axiomizations for I manage to evade the Herbrandized version of the Second Incompleteness Theorem

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

26

Searching Unindexed and Nonuniformly Generated Files in $\log \log N$ Time

Willard, Dan E.

Journal:

SIAM Journal on Computing

Year:

1985

Language:

english

File:

PDF, 1.96 MB

english, 1985

27

Log-Logarithmic Selection Resolution Protocols in a Multiple Access Channel

Willard, Dan E.

Journal:

SIAM Journal on Computing

Year:

1986

Language:

english

File:

PDF, 1.14 MB

english, 1986

28

A comparison of methods for the measurement of the absorption coefficient in natural waters

Pegau, W. Scott, Cleveland, Joan S., Doss, W., Kennedy, C. Dan, Maffione, Robert A., Mueller, James L., Stone, R., Trees, Charles C., Weidemann, Alan D., Wells, Willard H., Zaneveld, J. Ronald V.

Journal:

Journal of Geophysical Research

Year:

1995

Language:

english

File:

PDF, 2.18 MB

english, 1995

29

Chromosome-specific alpha satellite DNA from human chromosome 1: Hierarchical structure and genomic organization of a polymorphic domain spanning several hundred kilobase pairs of centromeric DNA

Waye, John S., Durfy, Sharon J., Pinkel, Dan, Kenwrick, Susan, Patterson, Mark, Davies, Kay E., Willard, Huntington F.

Journal:

Year:

1987

Language:

english

File:

PDF, 1.11 MB

english, 1987

30

On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize Its Consistency

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 1.03 MB

english, 2006

31

How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem almost to Robinson's Arithmetic Q

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 677 KB

english, 2002

32

An Exploration of the Partial Respects in Which an Axiom System Recognizing Solely Addition as a Total Function Can Verify Its Own Consistency

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 4.50 MB

english, 2005

33

Let's Get Real™: Students Solving Authentic Corporate Problems

Dan G. Holt and Colleen Willard-Holt

Journal:

The Phi Delta Kappan

Year:

2000

Language:

english

File:

PDF, 1.29 MB

english, 2000

34

Speaking of books

Elkins, William L., Newton, Shirley King, Kirkman, Ralph E., Sawyer, Fred, Tymchuk, Alexander J., Booth, Willard C., German, Dan B.

Journal:

Peabody Journal of Education

Year:

1970

Language:

english

File:

PDF, 402 KB

english, 1970

35

How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q

Willard, Dan E.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 2.25 MB

english, 2002

36

BOOK REVIEWS

Eid, Leroy V., Randall, Willard S., Morici, Peter, Pocius, Gerald L., Fox, Annette Baker, LeBlanc, Robert, Weirich, Frank H., Wonders, William C., Hughes, Terence J., Errington, Jane, Hawthorne, Dan,

Journal:

The American Review of Canadian Studies

Year:

1985

Language:

english

File:

PDF, 2.08 MB

english, 1985

37

On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency

Willard, Dan E.

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 886 KB

english, 2006

38

An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

Willard, Dan E.

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 2.71 MB

english, 2005

39

Algorithms for resolving conflicts in dynamic storage allocation

Baker, Brenda S., Willard, Dan E.

Journal:

Journal of the ACM

Year:

1985

Language:

english

File:

PDF, 1.23 MB

english, 1985

40

Adding range restriction capability to dynamic data structures

Willard, Dan E., Lueker, George S.

Journal:

Journal of the ACM

Year:

1985

Language:

english

File:

PDF, 1.58 MB

english, 1985

41

Good worst-case algorithms for inserting and deleting records in dense sequential files

Willard, Dan E.

Journal:

ACM SIGMOD Record

Year:

1986

Language:

english

File:

PDF, 985 KB

english, 1986

42

Optimal sample cost residues for differential database batch query problems

Willard, Dan E.

Journal:

Journal of the ACM

Year:

1991

Language:

english

File:

PDF, 1.04 MB

english, 1991

43

Multidimensional search trees that provide new types of memory reductions

Willard, Dan E.

Journal:

Journal of the ACM

Year:

1987

Language:

english

File:

PDF, 1.15 MB

english, 1987

44

[ACM Press the sixteenth annual ACM symposium - Not Known (1984..-..)] Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 - Log-logarithmic protocols for resolving ethernet and semaphore conflicts

Willard, Dan E.

Year:

1984

Language:

english

File:

PDF, 627 KB

english, 1984

45

[ACM Press the fourteenth annual ACM symposium - San Francisco, California, United States (1982.05.05-1982.05.07)] Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 - Maintaining dense sequential files in a dynamic environment (Extended Abstract)

Willard, Dan E.

Year:

1982

Language:

english

File:

PDF, 526 KB

english, 1982

46

[ACM Press the 1986 ACM SIGMOD international conference - Washington, D.C., United States (1986.05.28-1986.05.30)] Proceedings of the 1986 ACM SIGMOD international conference on Management of data - SIGMOD '86 - Good worst-case algorithms for inserting and deleting records in dense sequential files

Willard, Dan E.

Year:

1986

Language:

english

File:

PDF, 985 KB

english, 1986

47

[ACM Press the 1990 ACM annual conference - Washington, D.C., United States (1990.02.20-1990.02.22)] Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90 - Computing geographic nearest neighbors using monotone matrix searching (preliminary version)

Wee, Young C., Chaiken, Seth, Willard, Dan E.

Year:

1990

Language:

english

File:

PDF, 528 KB

english, 1990

48

[ACM Press the ninth ACM SIGACT-SIGMOD-SIGART symposium - Nashville, Tennessee, United States (1990.04.02-1990.04.04)] Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90 - Quasilinear algorithms for processing relational calculus expressions (preliminary report)

Willard, Dan E.

Year:

1990

Language:

english

File:

PDF, 1.77 MB

english, 1990

49

[ACM Press the 1984 ACM SIGMOD international conference - Boston, Massachusetts (1984.06.18-1984.06.21)] Proceedings of the 1984 ACM SIGMOD international conference on Management of data - SIGMOD '84 - Efficient processing of relational calculus expressions using range query theory

Year:

1984

Language:

english

File:

PDF, 563 KB

english, 1984

50

Backtalk

Don Mesibov, Mike Martin, Lawrence Baines, Gregory Stanley, Steve Grineski, Dan G. Holt, Colleen Willard-Holt, Eileen Greenspun and Randy Elmore

Journal:

The Phi Delta Kappan

Year:

2001

Language:

english

File:

PDF, 856 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски